📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Feeds to Scour
SubscribedAll
Scoured 18227 posts in 324.2 ms
Making a Language
thunderseethe.dev·10h
💻Programming languages
Preview
Report Post
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
arxiv.org·1d
📐TLA+
Preview
Report Post
Heaps do lie: debugging a memory leak in vLLM.
mistral.ai·17h·
Discuss: Hacker News
🧠Memory Allocation Strategies
Preview
Report Post
Keeping traits dyn-compatible while preserving zero-cost abstraction where possible
scp-iota.github.io·2d·
Discuss: r/rust
⚙Rust Compiler Internals
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·1d
💻Programming languages
Preview
Report Post
Streamlining CUB with a Single-Call API
developer.nvidia.com·11h
🏟️Arena Allocators
Preview
Report Post
PHPStan Now 25~40% Faster For Static Analysis
phoronix.com·21h
⚙️Language Runtimes
Preview
Report Post
Hippocampus model implementing a Turing machine
pub.towardsai.net·4h
🧠LLM Inference
Preview
Report Post
GNU C Language Manual
gnu.org·13h
🔢Algebraic Data Types
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·20h·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
Agentic Memory
dolthub.com·8h
💾Prompt Caching
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·9h
🌲LSM-Trees
Preview
Report Post
Memory layout matters: Reducing metric storage overhead by 4x in a Rust TSDB
baarse.substack.com·17h·
Discuss: r/rust
🏹Apache Arrow
Preview
Report Post
SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads
danglingpointers.substack.com·1d·
Discuss: Substack
⚡Glommio
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·4h
🔒Borrow Checker
Preview
Report Post
cognitect/transit-format: A data interchange format.
github.com·19h·
Discuss: Hacker News
💾Binary Formats
Preview
Report Post
Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
arxiv.org·1d
🏗️LLM Infrastructure
Preview
Report Post
Kysely: Type-Safe SQL Without ORM Overhead
spin.atomicobject.com·2d
💾Binary Formats
Preview
Report Post
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
💻Programming languages
Preview
Report Post
High-Availability Feature Flagging at Databricks
databricks.com·12h·
Discuss: Hacker News
🏗️Build Systems
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help